home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / scheme / scm / jackal1a.lha / jacal / ChangeLog < prev    next >
Encoding:
Text File  |  1992-12-24  |  16.1 KB  |  588 lines
  1. Wed Dec 23 14:32:37 1992  Aubrey Jaffer  (jaffer at camelot)
  2.  
  3.     * builtin.scm vect.scm (dotproduct): split into ncprod and
  4.     dotproduct.
  5.  
  6.     * builtin.scm (gcd): now takes arbitrary number of arguments.
  7.  
  8.     * builtin.scm norm.scm (diff): now works for all cases.
  9.  
  10.     * sexp.scm (seva): changed function position evaluation so that
  11.     det:determinant; makes det alias determinant.
  12.  
  13.     * unparse.scm grammar.scm: output-port-width is always supplied an
  14.     argument (for MITScheme).
  15.  
  16.     * builtin.scm (trace debug): flags added.
  17.  
  18.     * poly.scm (poly_resultant): now returns 0 for degenerate case.
  19.  
  20. Tue Dec 22 00:34:44 1992  Aubrey Jaffer  (jaffer at camelot)
  21.  
  22.     * builtin.scm: fixed signs on %i and %sqrt1.  All constant field
  23.     extensions now have low priority.
  24.  
  25.     * sexp.scm (cmprs_^): fixed (a^2)^c;
  26.  
  27.     * sexp.scm (fcinverse): now definitely fixed.
  28.  
  29.     * norm.scm (vsubst): now will only substitute vars for vars.
  30.  
  31. Sun Dec 20 01:53:36 1992  Aubrey Jaffer  (jaffer at camelot)
  32.  
  33.     * sexp.scm (fcinverse): fixed sign bug with functional inversion.
  34.     Busted if other variables involved now.
  35.  
  36.     * norm.scm (expr_normalize): fixed sign bug with algebraic
  37.     extensions.
  38.  
  39. Sat Dec 19 22:28:29 1992  Aubrey Jaffer  (jaffer at camelot)
  40.  
  41.     * sexp.scm (coes->horner-sexp) Horner's rule mode added.
  42.  
  43.     * sexp.scm (clambda?): now does not accept non-matrix bunches.
  44.  
  45.     * unparse.scm: 2d line breaking implemented.
  46.  
  47.     * Too many changes to record.
  48.  
  49. Sun Dec  6 01:26:24 1992  Aubrey Jaffer  (jaffer at camelot)
  50.  
  51.     * builtin.scm (diagmatrix scalarmatrix): old diagmatrix renamed to
  52.     scalarmatrix.  Diagmatrix now takes a vector argument.
  53.  
  54. Sat Dec  5 12:45:12 1992  Aubrey Jaffer  (jaffer at camelot)
  55.  
  56.     * types.scm: diff-depth now encoded in var_ord.
  57.  
  58.     * all internal variables now generated using sect:inc-string.
  59.  
  60.     * types.scm: variable ordering now done entirely with string<?
  61.     (with override byte before actual string and number of diffs after).
  62.  
  63.     * types.scm: finite-differentials eliminated.
  64.  
  65.     * builtin.scm: moved all initial var creation and prefixed @ names
  66.     with _.
  67.  
  68.     * unparse.scm (hglue): fixed order of evaluation bug in DO.
  69.  
  70. Wed Jun  3 13:23:52 1992  Aubrey Jaffer  (jaffer at Ivan)
  71.  
  72.     *all: files renamed to *.scm form.
  73.  
  74.     * parse.scm unparse.scm sexp.scm types.scm:  grammars are now
  75.     records.  2d output formatting added.
  76.  
  77. Tue May 28 00:06:05 1991  Aubrey Jaffer  (jaffer at Ivan)
  78.  
  79.     * builtin.scm (example): fixed.
  80.  
  81.     * ext.scm builtin.scm (mod, alg_mod): alg_mod created.  mod now
  82.     will clear denominators (like radicals do).
  83.  
  84.     * math.scm builtin.scm (*transcript-output*, transcript): created.
  85.  
  86. Sat May 25 23:06:03 1991  Aubrey Jaffer  (jaffer at Ivan)
  87.  
  88.     * math.scm (sload, *jacal-version*, *jacal-directory*): defined.
  89.  
  90. Sun May 19 22:08:43 1991  Aubrey Jaffer  (jaffer at Ivan)
  91.  
  92.     * math.scm (*current-input*, *current-output*) dynamic variables
  93.     to allow input and output indirection.
  94.  
  95.     * sexp.scm builtin.scm (batch, load) batch created, load fixed.
  96.  
  97. Wed Feb  6 00:23:17 1991  Aubrey Jaffer  (jaffer at foxkid)
  98.  
  99.     * poly.scm (univ_prem_list) eliminated.  This fixed radicals bug.
  100.     {*}_vect -> {*} functions renamed since only vect version now.
  101.  
  102.     * sexp.scm (warning) now puts out a trailing newline and returns
  103.     last value.
  104.  
  105. Wed Dec  5 16:28:00 1990  Aubrey Jaffer  (jaffer at foxkid)
  106.  
  107.     * std.grm (^^): binding power upped to 210 so that d^^2(f(x))
  108.     does not apply 2 to f(x).
  109.  
  110.     * poly (): - now only takes 2 arguments (more are not required
  111.     in Scheme^4).
  112.  
  113.     * BUG: ((x+a)^(1/2))^3 ==> x+a.  Proably due to previous change.
  114.  
  115. Mon Oct 29 13:48:00 1990  Aubrey Jaffer  (jaffer at foxkid)
  116.  
  117.     * poly (poly_^): no longer uses builtin scheme expt (not essential
  118.     procedure).
  119.  
  120.     * types (num, denom): no longer handle numbers other than integers.
  121.  
  122.     * sexp (seval): now checks for rationals and converts them, signals
  123.     error for inexact inputs.
  124.  
  125.     * parse (def_bp ...) null? => not [confusion between () and #f]
  126.  
  127.     * scl.scm (sort): created. char-code-limit added.
  128.  
  129. Mon Aug 27 01:33:07 1990  Aubrey Jaffer  (jaffer at zohar)
  130.  
  131.     * poly (poly_resultant): now returns DEMOTED gcd if non-constant.
  132.     this fixes rotbug!
  133.  
  134. Sun Aug 26 23:12:34 1990  Aubrey Jaffer  (jaffer at zohar)
  135.  
  136.     * poly (univ_/?): fixed for dividing by number.  Did not fix rotbug.
  137.  
  138.     * poly (univ_/ const_promote): created
  139.     ...-0-term ==> ...-const
  140.  
  141. Sun Jul  1 23:06:30 1990  Aubrey Jaffer  (jaffer at zohar)
  142.  
  143.     * norm (total-differential chain-exts poly_diffn):
  144.     fixed differentials.
  145.  
  146. Sat May 12 21:48:01 1990  Aubrey Jaffer  (jaffer at zohar)
  147.  
  148.     * types (impl_number? ==> rat_number?)
  149.  
  150.     * types (proc):
  151.     defined so that proc will funcallize (funcalls of proc removed)
  152.  
  153.     * types (rat_unit-denom?):
  154.     created
  155.  
  156.     * scl.scm (union):
  157.     defined
  158.  
  159.     * parse (lex):
  160.     letrec removed.
  161.  
  162. Thu May 10 00:25:17 1990  Aubrey Jaffer  (jaffer at lammert)
  163.  
  164.     * types (make-rad-ext):
  165.     fixed variable ordering bug.
  166.  
  167. Tue May  8 21:42:25 1990  Aubrey Jaffer  (jaffer at lammert)
  168.  
  169.     * parse (lex):
  170.     removed letrec.
  171.  
  172. Fri May  4 00:03:17 1990  Aubrey Jaffer  (jaffer at lammert)
  173.  
  174.     * types (make-ext-var):
  175.     did defext after vsubst. changed vsubst to cons of cdr.  Now
  176.     defines nested radicals properly.  Nested radicals clear out of
  177.     denominators correctly.
  178.  
  179. Thu May  3 00:53:22 1990  Aubrey Jaffer  (jaffer at lammert)
  180.  
  181.     * all:
  182.     removed all letrec use except lex in parse.l and determinant in vect.l
  183.  
  184. Wed May  2 00:28:01 1990  Aubrey Jaffer  (jaffer at lammert)
  185.  
  186.     * ext (ext_conjugate):
  187.     full algebraic version works.  ext_simplify of nested radicals is
  188.     broken (infinite loop).
  189.  
  190.     * poly (univ_pdiv_vect):
  191.     finally made a version of pseudo division with quotient which works.
  192.  
  193. Fri Apr 27 00:48:03 1990  Aubrey Jaffer  (jaffer at lammert)
  194.  
  195.     * exts:
  196.     eliminated letrec.
  197.  
  198.     * types:
  199.     added new field    (var_dependencies) to var.
  200.  
  201. Thu Apr 26 01:29:54 1990  Aubrey Jaffer  (jaffer at lammert)
  202.  
  203.     * ext (ext_find-var-if -> ext_for-each-var):
  204.     rewritten for efficiency and to purge letrec.
  205.  
  206. Wed Apr 25 21:24:12 1990  Aubrey Jaffer  (jaffer at lammert)
  207.  
  208.     * combined ext and radicals -> ext
  209.     * combined bunch and matrix -> vect
  210.     * combined impl and factor -> norm
  211.     * combined top and seval -> sexp
  212.     * compilum.lisp -> compilem.lisp
  213.  
  214. Mon Apr 23 00:43:33 1990  Aubrey Jaffer  (jaffer at lammert)
  215.  
  216.     * poly:
  217.     eliminated (letrec ...)
  218.  
  219.     * poly.l (poly_do-vars):
  220.     created;
  221.  
  222.     * types.l (bunch_map):
  223.     created;
  224.  
  225.     * seval.l (capply, diffarg):
  226.     simplified with the use of the above functions.
  227.  
  228. Thu Apr 19 00:31:36 1990  Aubrey Jaffer  (jaffer at lammert)
  229.  
  230.     * types.scm (eqn?):
  231.     I no longer depend on char? being disjoint from other types.  This
  232.     is in order to be compatible with Scheme^3.
  233.  
  234.     * builtin.l :
  235.     fixed and added many functions.
  236.  
  237. Wed Apr 18 17:22:31 1990  Aubrey Jaffer  (jaffer at lammert)
  238.  
  239.     * seval.l (fcexpt):
  240.     now works.  changed calls to capply to app*.
  241.     fcinverse works but negates its argument (why?).
  242.  
  243. Mon Apr 16 01:21:49 1990  Aubrey Jaffer  (jaffer at lammert)
  244.  
  245.     * ext (ext_clear-denoms):
  246.     works for square roots.  subtle problem with determinant screws up
  247.     higher order.
  248.     * syntax -> macsyma.syn
  249.     * meta -> builtins :
  250.     documentation strings entered for most functions.
  251.     * poly (sylvester & bruno) :
  252.     resultant matrix functions created.
  253.  
  254. Wed Apr 11 01:37:54 1990  Aubrey Jaffer  (jaffer at lammert)
  255.  
  256.     * impl (ncexpt):
  257.     created.  positive exponent works for matrices, vectors, and
  258.     functions.  Problems with inverses.
  259.     * radicals :
  260.     radicands now come out positive.
  261.  
  262. Thu Apr  5 01:02:04 1990  Aubrey Jaffer  (jaffer at lammert)
  263.  
  264.     * radicals, matrix, types (make-rat):
  265.     created in types.  This eliminates almost all constructions:
  266.     (list @ num -denom)
  267.  
  268.     * radicals (all):
  269.     schemized.  improved ipow.  radicands keep coming out negative.
  270.  
  271. Wed Apr  4 15:48:20 1990  Aubrey Jaffer  (jaffer at lammert)
  272.  
  273.     * syntax (leadingplus => leading+?)
  274.     fixed and moved to seval
  275.  
  276.     * syntax (inprint)
  277.     now understands (define var exp)
  278.  
  279. Fri Mar 30 01:24:04 1990  Aubrey Jaffer  (jaffer at lammert)
  280.  
  281.     * cgol, seval (math):
  282.     input and output grammar independently settable.  grammars now
  283.     contain both input and output functions.  line terminators work
  284.     correctly.
  285.  
  286. Thu Mar 29 00:31:20 1990  Aubrey Jaffer  (jaffer at gerber)
  287.  
  288.     * cgol, syntax, seval:
  289.     made input syntax switchable.  Input delimiters made postfix (this
  290.     was a change to cgol_parse).
  291.  
  292. Wed Mar 28 16:16:25 1990  Aubrey Jaffer  (jaffer at lammert)
  293.  
  294.     * cgol (all):
  295.     all syntax tables now in one structure: cgol_grammar.
  296.  
  297.     * seval, syntax, cgol (seval, bunch->sexp, inprint, #\[):
  298.     sexps now use vectors instead of '(bunch ...) to represent vectors.
  299.     delimiters for end of expression (#\; #\$) now are read after the
  300.     expression is read and dispatched in seval.  This should move to cgol.
  301.  
  302. Tue Mar 27 00:19:21 1990  Aubrey Jaffer  (jaffer at gerber)
  303.  
  304.     * poly, types, seval:
  305.     leading coefficient of impls is now negative.  this means less
  306.     poly_negates for type conversion.
  307.  
  308. Sat Mar 24 00:18:42 1990  Aubrey Jaffer  (jaffer at gerber)
  309.  
  310.     * all (all):
  311.     added missing else clauses to conds and ifs.  Now runs in scheme.
  312.  
  313. Fri Mar 23 00:46:43 1990  Aubrey Jaffer  (jaffer at lammert)
  314.  
  315.     * syntax.l (;):
  316.     changed to character token.
  317.  
  318.     * seval.l (seval):
  319.     fixed some problems with suchthat and clambda variables.
  320.  
  321.     * seval.l (math):
  322.     spruced up messages to reflect syntax_infix.    
  323.  
  324.     * seval.l (poly->sexp):
  325.     simplified
  326.  
  327. Tue Mar 20 00:08:31 1990  Aubrey Jaffer  (jaffer at lammert)
  328.  
  329.     * poly.lisp (degree&lc):
  330.     eliminated in favor of much simpler degree.  This sidesteps Common
  331.     Lisp compiler problem.  It also means lc is not contructed unless
  332.     it is needed.  Should speed things up.
  333.  
  334.     * scl.scm:
  335.     read-file removed (was interfering with reader).  Many common lisp
  336.     utility functions defined.
  337.  
  338.     * syntax.l:
  339.     "|" eliminated from symbol names.  Scheme association lists now
  340.     used.
  341.  
  342.     * factor.l (poly_factor-split):
  343.     do* eliminated.
  344.  
  345.     * matrix.l (mtrx_diagmatrix, rank, triangularize):
  346.     do* eliminated
  347.  
  348.     * poly.l (poly_coeff):
  349.     rewritten to not use do*.  map-no-end-0s written; gives much more
  350.     efficient implementation of poly_coeff.  Everything using
  351.     univ_monomial should be rewritten using map-no-end-0s.
  352.  
  353.     * scl.lisp (define):
  354.     defun removed; Less error messages on loading.  Non-scheme
  355.     functions removed.  List? fixed to accept '().  pair?, list? and
  356.     procedure? now check for closures-might-be-conses.
  357.  
  358. Fri Mar 16 00:03:42 1990  Aubrey Jaffer  (jaffer at gerber)
  359.  
  360.     * output:
  361.     split between seval and syntax
  362.  
  363. Wed Mar 14 01:05:57 1990  Aubrey Jaffer  (jaffer at lammert)
  364.  
  365.     * all:
  366.     code now loads.  debugged up to problems with symbols
  367.     vs. vars in top level math.
  368.  
  369. Mon Mar 12 01:23:19 1990  Aubrey Jaffer  (jaffer at lammert)
  370.  
  371.     * types:
  372.     finished entering code.  Started debugging.
  373.  
  374. Fri Mar  9 00:05:56 1990  Aubrey Jaffer  (jaffer at lammert)
  375.  
  376.     * types:
  377.     massive changes to make vars be vectors (not finished).
  378.  
  379.     * seval (capply):
  380.     now decimates in body bunches (rather than args).
  381.  
  382.     * impl:
  383.     differentials bunchized
  384.  
  385. Mon Mar  5 00:24:20 1990  Aubrey Jaffer  (jaffer at gerber)
  386.  
  387.     * seval (seval):
  388.     now lexically binds clambda, rlambda, and suchthat symbols.
  389.     * all:
  390.     fixed misc things.
  391.  
  392. Sun Mar  4 00:37:14 1990  Aubrey Jaffer  (jaffer at gerber)
  393.  
  394.     * types:
  395.     types created.  started new data type regime. lots is broken.
  396.  
  397. Wed Feb 28 13:30:19 1990  Aubrey Jaffer  (jaffer at gerber)
  398.  
  399.         * meta:
  400.     made arithmetic operations nary and changed names
  401.  
  402. Tue Feb 27 01:30:19 1990  Aubrey Jaffer  (jaffer at gerber)
  403.  
  404.     * matrix (determinant):
  405.     completed
  406.  
  407. Mon Feb 26 00:11:34 1990  Aubrey Jaffer  (jaffer at gerber)
  408.  
  409.     * bunch, matrix:
  410.     @n order changed; matrix functions work again
  411.  
  412.     * syntax, output
  413.     lambda syntax fixed: \[a,b],b-a;
  414.  
  415. Sun Feb 25 00:15:23 1990  Aubrey Jaffer  (jaffer at lammert)
  416.  
  417.     * seval (seval): schemized and simplified.
  418.     * meta, impl, matrix:
  419.     functions split between internal and user callable versions.
  420.     Not finished.
  421.  
  422. Tue Feb 13 00:25:04 1990  Aubrey Jaffer  (jaffer at lammert)
  423.  
  424.     * cgol, syntax:
  425.     now foo((a,x)) --> (foo (begin a x))
  426.  
  427. Mon Feb 12 01:23:56 1990  Aubrey Jaffer  (jaffer at lammert)
  428.  
  429.     * cgol, syntax:
  430.     parsing rewritten.  some minor bugs and incompatabilities
  431.     introduced.  Nary parsing introduced; not supported in seval.
  432.  
  433. Thu Feb  8 23:33:23 1990  Aubrey Jaffer  (jaffer at lammert)
  434.  
  435.     * poly (univ_prs):
  436.     schemized
  437.  
  438. Tue Feb  6 00:52:56 1990  Aubrey Jaffer  (jaffer at gerber)
  439.  
  440.     * poly:
  441.     eliminated most do* and blocks
  442.  
  443. Mon Feb  5 01:08:43 1990  Aubrey Jaffer  (jaffer at gerber)
  444.  
  445.     * impl:
  446.     cleaned up derivatives some, not finished.
  447.  
  448. Sat Feb  3 00:32:43 1990  Aubrey Jaffer  (jaffer at gerber)
  449.  
  450.     * poly:
  451.     reordered functions and put in dummies to allow compilation
  452.  
  453.     * poly (univ_prem):
  454.     schemified
  455.  
  456.     * poly (poly_norm => univ_norm):
  457.     rewritten in scheme.
  458.  
  459. Tue Jan 30 01:15:54 1990  Aubrey Jaffer  (jaffer at lammert)
  460.  
  461.     * bunch.scl (bunch_elim):
  462.     rewrote for scheme
  463.  
  464. Sun Jan 28 01:08:51 1990  Aubrey Jaffer  (jaffer at gerber)
  465.  
  466.     * scl.lisp:
  467.     changed to not use macros to define builtins so that compiled
  468.     version works. 
  469.  
  470.     * scl.lisp (define):
  471.     now uses defun whenever possible, so that functions have their
  472.     name with them. Still cannot compile poly.lisp.
  473.     * poly.lisp (univ_prs):
  474.     had step sub-clause missing in do*.  should speed thing up a bit.
  475.  
  476. Tue Jan 23 13:32:07 1990  Aubrey Jaffer  (jaffer at lammert)
  477.  
  478.     * scl.lisp:
  479.     expanded to full scheme and debugged.
  480.     * *.lisp -> *.scl:
  481.     and many conversions done. all "#'" removed.  most calls changed to
  482.     scheme names.
  483.     * rearranged directories
  484.  
  485. Thu Jan 18 01:28:51 1990  Aubrey Jaffer  (jaffer at gerber)
  486.  
  487.     * scl.lisp (lambda and define defined).
  488.     * *.lisp:
  489.     #'(lambda --> (lambda
  490.  
  491. Tue Jan 16 01:33:59 1990  Aubrey Jaffer  (jaffer at crispy-critters)
  492.  
  493.     * scm.lisp:
  494.     the Scheme compatability definitions created.  Some char and
  495.     string functions changed in all files. 
  496.  
  497. Mon Jan 15 01:06:58 1990  Aubrey Jaffer  (jaffer at crispy-critters)
  498.  
  499.     * poly.lisp removed lambda-unshadow (unused).  moved symbol
  500.     creation from nmatrix.
  501.  
  502.     * *.lisp all variables now reside in package "USER".
  503.  
  504. Sat Jan 13 18:26:02 1990  Aubrey Jaffer  (jaffer at lammert)
  505.  
  506.     * seval.lisp, impl.lisp:
  507.     added finite differentials. eliminated express and unexpress.
  508.  
  509.     * seval.lisp (capply):
  510.     fixed bug: vector of functions of vector of
  511.     arguments.  fixed clambda for differentials.
  512.  
  513.     * math.lisp: moved all test calls here
  514.  
  515. Fri Jan 12 01:20:27 1990  Aubrey Jaffer  (jaffer at crispy-critters)
  516.  
  517.     * poly.lisp output.lisp degree => degree&lc changed to return a
  518.     list rather than multiple values (in prep for Scheme)
  519.  
  520. Thu Jan  4 01:10:57 1990  Aubrey Jaffer  (jaffer at gerber)
  521.  
  522.     * impl.lisp (vsubst): now works on bunches
  523.     * poly.lisp moved differential and lambda var functions here
  524.     * seval.lisp capply and related functions rewritten to implement
  525.     differential operators.
  526.  
  527. Tue Dec 19 23:44:43 1989  Aubrey Jaffer  (jaffer at gerber)
  528.  
  529.     * syntax.lisp (a*b)'' now works
  530.     * seval.lisp simplified capply and added function for differential
  531.     clambda (not finished).
  532.  
  533. Sun Dec 17 23:08:06 1989  Aubrey Jaffer  (jaffer at gerber)
  534.  
  535.     * poly.lisp zero? and one? written and used
  536.  
  537. Sat Dec 16 01:07:49 1989  Aubrey Jaffer  (jaffer at gerber)
  538.  
  539.     * poly.lisp split large poly_* into poly_* and univ_*
  540.     * factor.lisp created from diff and factor stuff in poly.lisp
  541.  
  542. Fri Dec 15 00:32:37 1989  Aubrey Jaffer  (jaffer at gerber)
  543.  
  544.     * poly.lisp moved differential functions from impl.lisp
  545.     * seval.lisp cleaned up capply to prepare for differential operators.
  546.  
  547. Thu Nov 27 11:31:00 1989  Aubrey Jaffer  (jaffer at rosalyn.ai.mit.edu)
  548.  
  549.     * seval.lisp applying vectors of clambdas works again
  550.  
  551. Thu Nov 16 11:31:00 1989  Aubrey Jaffer  (jaffer at rosalyn.ai.mit.edu)
  552.  
  553.     * *.lisp lowercased and reformated all files
  554.  
  555. Fri Nov 10 01:02:34 1989  Aubrey Jaffer  (jaffer at gerber)
  556.  
  557.     * doc/layers created
  558.     * ext.lisp created from impl.lisp
  559.     * impl.lisp, seval.lisp many name changes inpreperation
  560.     for scheme and better layering
  561.  
  562. Thu Nov  9 01:18:18 1989  Aubrey Jaffer  (jaffer at gerber)
  563.  
  564.     * radicals.lisp added rad_depth
  565.  
  566. Sun Nov  5 23:58:10 1989  Aubrey Jaffer  (jaffer at rice-chex)
  567.  
  568.     * caf.lisp => impl.lisp (all caf -> impl)
  569.     * output.lisp (all 2 -> ->)
  570.     layering improved
  571.  
  572. Wed Nov  1 14:32:45 1989  Aubrey Jaffer  (jaffer at lammert)
  573.  
  574.     * poly.lisp (square-free -> poly_square-free)
  575.     * bunch.lisp meta.lisp (eliminate is now in meta.lisp)
  576.  
  577. Wed Oct 25 01:09:22 1989  Aubrey Jaffer  (jaffer at lammert)
  578.  
  579.     * bunch.lisp, output.lisp (bunch?)
  580.     () is now a bunch.
  581.  
  582. Tue Oct 24 22:34:08 1989  Aubrey Jaffer  (jaffer at lammert)
  583.  
  584.     * poly.lisp (resultant->poly_resultant)
  585.     and functions which use it
  586.     now check for getting back number (instead of equation).
  587.  
  588.